The graphic user interface consists of the following parts to allow users to edit the model, simulate it and verify the properties of the model respectively. In this section, we explain the GUI of the CSP module as the demonstrating example. The GUIs for other modules are similar.

• 2.2.1 PAT Editor
• 2.2.2 PAT Simulator
• 2.2.3 Graph Difference Analysis
• 2.2.4 PAT Verifier
• 2.2.5 New Model Wizard

The system options are explained here.